翻訳と辞書 Words near each other ・ Étaing ・ Étainhus ・ Étais ・ Étais-la-Sauvin ・ Étalans ・ Étalante ・ Étale ・ Étale (mountain) ・ Étale algebra ・ Étale cohomology ・ Étale fundamental group ・ Étale group scheme ・ Étale homotopy type ・ Étale morphism ・ Étale topology ・ Étale topos ・ Étalle ・ Étalle, Ardennes ・ Étalle, Belgium ・ Étalleville ・ Étalon, Somme ・ Étalondes ・ Étampes ・ Étampes-sur-Marne ・ Étang d'Araing ・ Étang d'Aureilhan ・ Étang de Barrandon ・ Étang de Berre ・ Étang de Bois Rouge ・ Étang de Brouquenat Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Étale topos ： ウィキペディア英語版 Étale topos In mathematics, the étale topos of a scheme ''X'' is the category of all étale sheaves on ''X''. An étale sheaf is a sheaf on the étale site of ''X''. ==Definition== Let ''X'' be a scheme. An ''étale covering'' of ''X'' is a family $\backslash \_$, where each $\backslash varphi\_i$ is an étale morphism of schemes, such that the family is jointly surjective that is $X\; =\; \backslash bigcup\_\; \backslash varphi\_i(U\_i)$. The category Ét(''X'') is the category of all étale schemes over ''X''. The collection of all étale coverings of a étale scheme ''U'' over ''X'' i.e. an object in Ét(''X'') defines a Grothendieck pretopology on Ét(''X'') which in turn induces a Grothendieck topology, the ''étale topology'' on ''X''. The category together with the étale topology on it is called the ''étale site'' on ''X''. The ''étale topos'' $X^\backslash text$ of a scheme ''X'' is then the category of all sheaves of sets on the site Ét(''X''). Such sheaves are called étale sheaves on ''X''. In other words, an étale sheaf $\backslash mathcal\; F$ is a (contravariant) functor from the category Ét(''X'') to the category of sets satisfying the following sheaf axiom: For each étale ''U'' over ''X'' and each étale covering $\backslash$ of ''U'' the sequence :$0\; \backslash to\; \backslash mathcal\; F(U)\; \backslash to\; \backslash prod\_\; \backslash mathcal\; F(U\_i)\; \}\; \backslash prod\_\; \backslash mathcal\; F(U\_)$ is exact, where $U\_\; =\; U\_i\; \backslash times\_U\; U\_j$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Étale topos」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.